body {
    padding: 0px;
    margin: 0px;
}

#sourceTree {
    float: left;
    overflow: auto;
    height: 100%;
    background-color: white;
}

#sqlEdit {
    position: fixed;
    height: 100%;
    right: 0px;
    top: 0px;
}

#editor {
    font-size: 18px;
}

#consoleAndResult {
    position: fixed;
    bottom: 0;
    right: 0;
    height: 60%;
    z-index: 9999;
    background-color: #f9f9f9;
}

.console {
    background-color: aliceblue;
    height: 100%;
    overflow: auto;
}

#crosswiseExpander {
    width: 100%;
    height: 5px;
    background-color: rgb(232, 232, 232);
}

#crosswiseExpander:hover {
    cursor: n-resize;
}

#lengthwaysExpander {
    width: 5px;
    cursor: w-resize;
    background-color: rgb(232, 232, 232);
    float: left;
}